Cut-free Calculi and Relational Semantics for Temporal STIT Logics

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames

Interleukin-1β sequesters hypoxia inducible factor 2α to the primary cilium.

BACKGROUND: The primary cilium coordinates signalling in development, health and disease. Previously we have shown that the cilium is essential for the anabolic response to loading and the inflammatory response to interleukin-1β (IL-1β). We have also shown the primary cilium elongates in response to IL-1β exposure. Both anabolic phenotype and inflammatory pathology are proposed to be dependent on hypoxia-inducible factor 2 alpha (HIF-2α). The present study tests the hypothesis that an association exists between the primary cilium and HIFs in inflammatory signalling. RESULTS: Here we show, in articular chondrocytes, that IL-1β-induces primary cilia elongation with alterations to cilia trafficking of arl13b. This elongation is associated with a transient increase in HIF-2α expression and accumulation in the primary cilium. Prolyl hydroxylase inhibition results in primary cilia elongation also associated with accumulation of HIF-2α in the ciliary base and axoneme. This recruitment and the associated cilia elongation is not inhibited by blockade of HIFα transcription activity or rescue of basal HIF-2α expression. Hypomorphic mutation to intraflagellar transport protein IFT88 results in limited ciliogenesis. This is associated with increased HIF-2α expression and inhibited response to prolyl hydroxylase inhibition. CONCLUSIONS: These findings suggest that ciliary sequestration of HIF-2α provides negative regulation of HIF-2α expression and potentially activity. This study indicates, for the first time, that the primary cilium regulates HIF signalling during inflammation

Genome-Wide Identification of Small RNAs in the Opportunistic Pathogen Enterococcus faecalis V583

Small RNA molecules (sRNAs) are key mediators of virulence and stress inducible gene expressions in some pathogens. In this work we identify sRNAs in the Gram positive opportunistic pathogen Enterococcus faecalis. We characterized 11 sRNAs by tiling microarray analysis, 5′ and 3′ RACE-PCR, and Northern blot analysis. Six sRNAs were specifically expressed at exponential phase, two sRNAs were observed at stationary phase, and three were detected during both phases. Searches of putative functions revealed that three of them (EFA0080_EFA0081 and EFB0062_EFB0063 on pTF1 and pTF2 plasmids, respectively, and EF0408_EF04092 located on the chromosome) are similar to antisense RNA involved in plasmid addiction modules. Moreover, EF1097_EF1098 shares strong homologies with tmRNA (bi-functional RNA acting as both a tRNA and an mRNA) and EF2205_EF2206 appears homologous to 4.5S RNA member of the Signal Recognition Particle (SRP) ribonucleoprotein complex. In addition, proteomic analysis of the ΔEF3314_EF3315 sRNA mutant suggests that it may be involved in the turnover of some abundant proteins. The expression patterns of these transcripts were evaluated by tiling array hybridizations performed with samples from cells grown under eleven different conditions some of which may be encountered during infection. Finally, distribution of these sRNAs among genome sequences of 54 E. faecalis strains was assessed. This is the first experimental genome-wide identification of sRNAs in E. faecalis and provides impetus to the understanding of gene regulation in this important human pathogen

Histology of the Pharyngeal Constrictor Muscle in 22q11.2 Deletion Syndrome and Non-Syndromic Children with Velopharyngeal Insufficiency

Plastic surgeons aim to correct velopharyngeal insufficiency manifest by hypernasal speech with a velopharyngoplasty. The functional outcome has been reported to be worse in patients with 22q11.2 deletion syndrome than in patients without the syndrome. A possible explanation is the hypotonia that is often present as part of the syndrome. To confirm a myogenic component of the etiology of velopharyngeal insufficiency in children with 22q11.2 deletion syndrome, specimens of the pharyngeal constrictor muscle were taken from children with and without the syndrome. Histologic properties were compared between the groups. Specimens from the two groups did not differ regarding the presence of increased perimysial or endomysial space, fiber grouping by size or type, internalized nuclei, the percentage type I fibers, or the diameters of type I and type II fibers. In conclusion, a myogenic component of the etiology of velopharyngeal insufficiency in children with 22q11.2 deletion syndrome could not be confirmed

Postepidemic Analysis of Rift Valley Fever Virus Transmission in Northeastern Kenya: A Village Cohort Study

RVFV infection causes significant disease in both human and animal populations, resulting in significant agricultural, economic and public health consequences. We conducted a cohort study on residents of a high-risk area to measure human anti-RVFV seroprevalence, to identify risk factors, and to estimate the durability of prior RVFV immunity. One hundred two individuals tested for RVFV exposure before the 2006–2007 RVF outbreak were restudied to determine interval anti-RVFV seroconversion and persistence of humoral immunity since 2006. Ninety-two additional subjects were enrolled from randomly selected households to help identify risk factors for current seropositivity. Seroprevalence in the region was high (23%). 1/85 at-risk individuals restudied in the follow-up cohort had seroconverted since early 2006. 29% of newly tested individuals were seropositive. After adjustment in multivariable logistic models, age, village, and drinking raw milk were significantly associated with RVFV seropositivity. Visual impairment (defined as ≤20/80) was much more likely in the RVFV-seropositive group. Among those with previous exposure, RVFV titers remained at protective levels (>1∶40) for more than 3 years. This study highlights the high seroprevalence among Northeastern Kenyans and the ongoing surge in seroprevalence with each RVF outbreak

Properties and identification of antibiotic drug targets

<p>Abstract</p> <p>Background</p> <p>We analysed 48 non-redundant antibiotic target proteins from all bacteria, 22 antibiotic target proteins from <it>E. coli </it>only and 4243 non-drug targets from <it>E. coli </it>to identify differences in their properties and to predict new potential drug targets.</p> <p>Results</p> <p>When compared to non-targets, bacterial antibiotic targets tend to be long, have high β-sheet and low α-helix contents, are polar, are found in the cytoplasm rather than in membranes, and are usually enzymes, with ligases particularly favoured. Sequence features were used to build a support vector machine model for <it>E. coli </it>proteins, allowing the assignment of any sequence to the drug target or non-target classes, with an accuracy in the training set of 94%. We identified 319 proteins (7%) in the non-target set that have target-like properties, many of which have unknown function. 63 of these proteins have significant and undesirable similarity to a human protein, leaving 256 target like proteins that are not present in humans.</p> <p>Conclusions</p> <p>We suggest that antibiotic discovery programs would be more likely to succeed if new targets are chosen from this set of target like proteins or their homologues. In particular, 64 are essential genes where the cell is not able to recover from a random insertion disruption.</p

Analysis of Transcriptional Regulatory Pathways of Photoreceptor Genes by Expression Profiling of the Otx2-Deficient Retina

In the vertebrate retina, the Otx2 transcription factor plays a crucial role in the cell fate determination of both rod and cone photoreceptors. We previously reported that Otx2 conditional knockout (CKO) mice exhibited a total absence of rods and cones in the retina due to their cell fate conversion to amacrine-like cells. In order to investigate the entire transcriptome of the Otx2 CKO retina, we compared expression profile of Otx2 CKO and wild-type retinas at P1 and P12 using microarray. We observed that expression of 101- and 1049-probe sets significantly decreased in the Otx2 CKO retina at P1 and P12, respectively, whereas, expression of 3- and 4149-probe sets increased at P1 and P12, respectively. We found that expression of genes encoding transcription factors involved in photoreceptor development, including Crx, Nrl, Nr2e3, Esrrb, and NeuroD, was markedly down-regulated in the Otx2 CKO at both P1 and P12. Furthermore, we identified three human retinal disease loci mapped in close proximity to certain down-regulated genes in the Otx2 CKO retina including Ccdc126, Tnfsf13 and Pitpnm1, suggesting that these genes are possibly responsible for these diseases. These transcriptome data sets of the Otx2 CKO retina provide a resource on developing rods and cones to further understand the molecular mechanisms underlying photoreceptor development, function and disease

Forward-Backward Asymmetry in Top Quark Production in ppbar Collisions at sqrt{s}=1.96 TeV

Reconstructable final state kinematics and charge assignment in the reaction ppbar->ttbar allows tests of discrete strong interaction symmetries at high energy. We define frame dependent forward-backward asymmetries for the outgoing top quark in both the ppbar and ttbar rest frames, correct for experimental distortions, and derive values at the parton-level. Using 1.9/fb of ppbar collisions at sqrt{s}=1.96 TeV recorded with the CDF II detector at the Fermilab Tevatron, we measure forward-backward top quark production asymmetries in the ppbar and ttbar rest frames of A_{FB,pp} = 0.17 +- 0.08 and A_{FB,tt} = 0.24 +- 0.14.Comment: 7 pages, 2 figures, submitted to Phys.Rev.Lett, corrected references and change of tex

Studying the Underlying Event in Drell-Yan and High Transverse Momentum Jet Production at the Tevatron

We study the underlying event in proton-antiproton collisions by examining the behavior of charged particles (transverse momentum pT > 0.5 GeV/c, pseudorapidity |\eta| < 1) produced in association with large transverse momentum jets (~2.2 fb-1) or with Drell-Yan lepton-pairs (~2.7 fb-1) in the Z-boson mass region (70 < M(pair) < 110 GeV/c2) as measured by CDF at 1.96 TeV center-of-mass energy. We use the direction of the lepton-pair (in Drell-Yan production) or the leading jet (in high-pT jet production) in each event to define three regions of \eta-\phi space; toward, away, and transverse, where \phi is the azimuthal scattering angle. For Drell-Yan production (excluding the leptons) both the toward and transverse regions are very sensitive to the underlying event. In high-pT jet production the transverse region is very sensitive to the underlying event and is separated into a MAX and MIN transverse region, which helps separate the hard component (initial and final-state radiation) from the beam-beam remnant and multiple parton interaction components of the scattering. The data are corrected to the particle level to remove detector effects and are then compared with several QCD Monte-Carlo models. The goal of this analysis is to provide data that can be used to test and improve the QCD Monte-Carlo models of the underlying event that are used to simulate hadron-hadron collisions.Comment: Submitted to Phys.Rev.

Precision measurement of the top quark mass from dilepton events at CDF II

We report a measurement of the top quark mass, M_t, in the dilepton decay channel of $t\bar{t}\to b\ell'^{+}\nu_{\ell'}\bar{b}\ell^{-}\bar{\nu}_{\ell}$ using an integrated luminosity of 1.0 fb^{-1} of p\bar{p} collisions collected with the CDF II detector. We apply a method that convolutes a leading-order matrix element with detector resolution functions to form event-by-event likelihoods; we have enhanced the leading-order description to describe the effects of initial-state radiation. The joint likelihood is the product of the likelihoods from 78 candidate events in this sample, which yields a measurement of M_{t} = 164.5 \pm 3.9(\textrm{stat.}) \pm 3.9(\textrm{syst.}) \mathrm{GeV}/c^2, the most precise measurement of M_t in the dilepton channel.Comment: 7 pages, 2 figures, version includes changes made prior to publication by journa